Philosophical logic - PDFSEARCH.IO - Document Search Engine

Philosophical logic
Results: 2980

#	Item
261	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
262	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
263	Formalization, Mechanization and Automation of G¨ odel’s Proof of God’s Existence? Christoph Benzm¨ uller1 and Bruno Woltzenlogel Paleo2 1 Add to Reading List Source URL: www.logic.at Language: English - Date: 2013-08-25 01:30:42 Model theory Arguments for the existence of God Philosophical logic Functions and mappings Modal logic Mathematical proof Function Isabelle Ontological argument Logic Mathematics Mathematical logic
264	Discussion Paper NoEVOLUTION OF COMPETITIVE EQUILIBRIUM WITH ENDOGENOUS PRODUCT DIFFERENTIATION Add to Reading List Source URL: www.iser.osaka-u.ac.jp Language: English - Date: 2010-05-24 00:21:55 Entailment Logical syntax Metalogic Philosophical logic Stochastically stable equilibrium Logic Evolutionary game theory Game theory
265	Metadata of the article that will be visualized in OnlineFirst ArticleTitle Book notice Article Sub-Title Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2010-10-18 10:23:46 Knowledge Philosophers of mathematics Gifford Lecturers Philosophical movements Philosophy of mathematics Michael Dummett Empiricism Gottlob Frege Logic Philosophy Analytic philosophers Science
266	Declarative Updates in Deductive Object-Oriented Databases Mengchi Liu John Cleary Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Programming paradigms Query languages Deduction Database Relational model Entailment Modal logic SQL Knowledge representation and reasoning Logic Database management systems Philosophical logic
267	A Variability-Based Approach to Reusable and Efficient Model Transformations Daniel Str¨uber1 , Julia Rubin2 , Marsha Chechik3 , and Gabriele Taentzer1 1 Philipps-Universit¨at Marburg, Germany Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-02-20 11:07:37 Predicate logic Logic Graph rewriting Philosophical logic First-order logic Graph Quantification Planar graph FO Graph theory Mathematics Theoretical computer science
268	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Characteristic Formulae for Timed Automata Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-10-31 10:38:10 Logic in computer science Philosophical logic Models of computation Bisimulation Model checking Entailment State transition system Formal verification FO Logic Theoretical computer science Applied mathematics
269	2014 \| Hau: Journal of Ethnographic Theory 4 (2): 245–252 Book Symposium Thinking like a mountain Anand Pandian, Johns Hopkins University Add to Reading List Source URL: anthropology.jhu.edu Language: English Philosophy of science Logic Thought Philosophical logic Pragmatism Cinema 1: The Movement Image Idea Pragmatic maxim Inquiry Philosophy Charles Sanders Peirce Science
270	WIN ECO-FRIENDLY TOYS AND FAIRTRADE CLOTHES -THE NATURAL PARENTING MAGAZINE Add to Reading List Source URL: www.shazzie.com Language: English - Date: 2012-10-10 09:11:36 Philosophical logic Language GROW E-Prime Linguistics

UPDATE